package tests;

import java.io.PrintStream;

import core.Prover.ProverStatus;

public class ProverStatusOutput {
	
	final ProverStatus proverStatus;
	
	public ProverStatusOutput(ProverStatus ps) {
		proverStatus = ps;
	}
	
	public void WriteProverStatus(PrintStream ps) {
		
		ps.println("Graph average depth = " + proverStatus.GetGraphAvgDepth());
		ps.println("Graph max depth = " + proverStatus.GetGraphMaxDepth());
		ps.println("Graph size = " + proverStatus.GetGraphSize());
		
	}
	
	public void WriteProverStatus(SensibleTestResult tr) {
		
		tr.graphAvgDepth = proverStatus.GetGraphAvgDepth();
		tr.graphMaxDepth = proverStatus.GetGraphMaxDepth();
		tr.graphSize     = proverStatus.GetGraphSize();
		
	}
	
}
